Ammann

Results: 362



#Item
111

Using a Model Checker to Test Safety Properties Paul Ammann, Wei Ding, and Daling Xu ISE Department, MS 4A4 George Mason University 4400 University Drive Fairfax, VAUSA

Add to Reading List

Source URL: www.cs.umb.edu

Language: English - Date: 2008-07-16 17:41:23
    112

    KIT - Campus Süd Fakultät für Bauingenieur-, Geound Umweltwissenschaften Otto-Ammann-Platz 1 Überschrift Seite 4

    Add to Reading List

    Source URL: www.bgu.kit.edu

    Language: German - Date: 2015-05-12 06:08:54
      113

      Institut für Verkehrswesen (IfV) Otto Ammann-Platz 9 (GebKarlsruhe http://www.ifv.kit.edu Stochastische Fahrzyklensimulation

      Add to Reading List

      Source URL: www.ifv.kit.edu

      Language: German - Date: 2014-09-08 08:14:51
        114

        Transgenic plants and the management of virtual risks1 (Published in Methods for Risk Assessment of Transgenic Plants, (K. Ammann et al eds) Birkhauser, 1999. John Adams, University College London,

        Add to Reading List

        Source URL: john-adams.co.uk

        Language: English - Date: 2006-08-08 13:52:22
          115

          Financial Markets and Portfolio Management Swisscanto Award for the Best Professional PaperLeft to right: Manuel Ammann (Editor of FMPM), Thomas Vock (President of the Swiss

          Add to Reading List

          Source URL: www.fmpm.ch

          Language: English - Date: 2013-08-09 09:52:34
            116

            Institut für Straßen- und Eisenbahnwesen (ISE) Institutsleiter: Univ.-Prof. Dr.-Ing. Dr.h.c. Ralf Roos Otto-Ammann-Platz 1 DKarlsruhe E-Mail:

            Add to Reading List

            Source URL: www.ise.kit.edu

            Language: German - Date: 2015-04-28 04:20:14
              117

              ENTITIES COMPENSATED BY BCBC: FY 2014 Altec Industries, Inc. Ammann & Whitney A. P. Construction Banc3 Blue Cross/Blue Shield

              Add to Reading List

              Source URL: www.bcbridges.org

              Language: English - Date: 2015-03-09 14:40:55
                118Substitution tiling / Tessellation / Rauzy fractal / Substitution / Penrose tiling / Aperiodic tiling / Tiling / Geometry / Ammann–Beenker tiling

                Discrete Comput Geom OF1–OF14DOI: s00454Discrete & Computational Geometry

                Add to Reading List

                Source URL: www.mathematicians.org.uk

                Language: English - Date: 2005-10-23 19:00:00
                119Aperiodic tiling / Tessellation / Prototile / Ammann–Beenker tiling / Penrose tiling / Tiling / Geometry / Substitution tiling

                Canonical Substitution Tilings E O HARRISS and J S W LAMB xpand E

                Add to Reading List

                Source URL: www.mathematicians.org.uk

                Language: English - Date: 2004-12-02 19:00:00
                120Substitution tiling / Tessellation / Polytope / Integration by substitution / Aperiodic tiling / Ammann–Beenker tiling / Tiling / Geometry / Penrose tiling

                On Canonical Substitution Tilings Edmund O Harriss Department of Mathematics Imperial College, London 180 Queen’s Gate, London SW7 2AZ United Kingdom

                Add to Reading List

                Source URL: www.mathematicians.org.uk

                Language: English - Date: 2004-12-02 19:00:00
                UPDATE